Kripke structure - PDFSEARCH.IO - Document Search Engine

Kripke structure
Results: 31

#	Item
21	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
22	Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2014-06-26 06:44:43 Theoretical computer science Linear temporal logic CTL* Modal logic Model checking Kripke structure FO Natural deduction Linear temporal logic to Büchi automaton Mathematical logic Logic Temporal logic
23	Modal vs. Propositional Reasoning for Model Checking with Description Logic Shoham Ben-David Richard Trefler Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Kripke structure Model checking FO Model theory Logic Mathematical logic Theoretical computer science
24	Microsoft PowerPoint - all-lectures-markt07 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-08-04 08:21:38 Mathematical logic Mathematics Science Metalogic Kripke structure Well-formed formula Symbolic trajectory evaluation Linear temporal logic Logic Model checking Temporal logic
25	Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:15:07 Theoretical computer science Applied mathematics Constructible universe Bisimulation Mathematics Temporal logic Kripke structure Model checking
26	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
27	Action Emulation Between Canonical Models Floor Sietsma Jan van Eijck May 23, 2013 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 10:52:48 Mathematics Kripke semantics Interpretation Bisimulation Structure Constructible universe Modal logic Μ operator Linear temporal logic Logic Model theory Mathematical logic
28	BOUNDED MODEL-CHECKING FOR BRANCHING-TIME LOGIC Rotem Oshman BOUNDED MODEL-CHECKING FOR BRANCHING-TIME LOGIC Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-07-30 05:06:45 Kripke structure Computer science Automata theory Theoretical computer science Tree automaton
29	Model Checking II Temporal Logic Model Checking Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-09-27 18:25:33 Mathematics Logic in computer science Modal logic Linear temporal logic Philosophical logic CTL* Computation tree logic Kripke semantics Kripke structure Logic Temporal logic Mathematical logic
30	ISSN[removed], Programming and Computer Software, 2008, Vol. 34, No. 1, pp. 27–43. © Pleiades Publishing, Ltd., 2008. Original Russian Text © E.V. Kuzmin, V.A. Sokolov, 2008, published in Programmirovanie, 2008, Vol. 34, No. 1. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2008-03-11 23:34:24 Theoretical computer science Computer science Büchi automaton Finite-state machine Deterministic finite automaton State Petri net Kripke structure Nested word Models of computation Automata theory Formal methods